Functional specification

Results: 264



#Item
111When Telepathy Won’t Do: Requirements Engineering Key Practices1 Karl E. Wiegers Process Impact www.processimpact.com The software industry is exhibiting an increasing interest in requirements engineering —

When Telepathy Won’t Do: Requirements Engineering Key Practices1 Karl E. Wiegers Process Impact www.processimpact.com The software industry is exhibiting an increasing interest in requirements engineering —

Add to Reading List

Source URL: www.processimpact.com

Language: English - Date: 2010-06-21 13:40:45
112Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo

Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo

Add to Reading List

Source URL: www.nik.no

Language: English - Date: 2002-09-06 09:03:13
113Languages for bibliography styles Jean-Michel Hufflen LIFC (EA CNRS[removed]University of Franche-Comté 16, route de Gray

Languages for bibliography styles Jean-Michel Hufflen LIFC (EA CNRS[removed]University of Franche-Comté 16, route de Gray

Add to Reading List

Source URL: www.tex.uniyar.ac.ru

Language: English - Date: 2012-01-26 05:17:28
114Discovering and Debugging Algebraic Specifications for Java Classes by Johannes Henkel

Discovering and Debugging Algebraic Specifications for Java Classes by Johannes Henkel

Add to Reading List

Source URL: www-plan.cs.colorado.edu

Language: English - Date: 2004-05-31 09:46:03
115Colorado Software Summit: October 22 – 27, 2006 © Copyright 2006, Omegapoint Consulting AB Non-Functional Requirements How to Get Them in Shape

Colorado Software Summit: October 22 – 27, 2006 © Copyright 2006, Omegapoint Consulting AB Non-Functional Requirements How to Get Them in Shape

Add to Reading List

Source URL: www.softwaresummit.com

Language: English - Date: 2008-01-03 04:38:18
116Microsoft Word - INTER-TRUST-T2.1-UoR-DELV-D2.1.2-RequirementsSpec-Final-V2.01.doc

Microsoft Word - INTER-TRUST-T2.1-UoR-DELV-D2.1.2-RequirementsSpec-Final-V2.01.doc

Add to Reading List

Source URL: inter-trust.lcc.uma.es

Language: English - Date: 2015-03-16 10:37:00
117Validation of Contract Decomposition by Testing Mass Soldal Lund Department of Informatics, University of Oslo, Norway SINTEF Telecom and Informatics, Norway email: [removed] Abstract

Validation of Contract Decomposition by Testing Mass Soldal Lund Department of Informatics, University of Oslo, Norway SINTEF Telecom and Informatics, Norway email: [removed] Abstract

Add to Reading List

Source URL: www.nik.no

Language: English - Date: 2002-10-15 10:55:59
118S1D13700F00 Embedded Memory Graphics LCD Controller Hardware Functional Specification Document Number: X42A-A[removed]Status: Revision 4.02

S1D13700F00 Embedded Memory Graphics LCD Controller Hardware Functional Specification Document Number: X42A-A[removed]Status: Revision 4.02

Add to Reading List

Source URL: www.hpinfotech.ro

Language: English - Date: 2014-10-30 10:24:53
119Towards a Fully Verified File System Sidney Amani, Leonid Ryzhyk, Toby Murray Proving the functional correctness of a realistic file system implementation Motivation

Towards a Fully Verified File System Sidney Amani, Leonid Ryzhyk, Toby Murray Proving the functional correctness of a realistic file system implementation Motivation

Add to Reading List

Source URL: ssrg.nicta.com.au

Language: English - Date: 2013-10-20 22:09:43
120A Tiny Specification Metalanguage Walter Wilson, Yu Lei Dept. of Computer Science and Engineering, The University of Texas at Arlington Arlington, Texas 76019, USA [removed], [removed]

A Tiny Specification Metalanguage Walter Wilson, Yu Lei Dept. of Computer Science and Engineering, The University of Texas at Arlington Arlington, Texas 76019, USA [removed], [removed]

Add to Reading List

Source URL: www.axiomaticlanguage.org

Language: English - Date: 2012-06-25 15:11:07